Reasoning about Large Taxonomies of Actions in the Situation Calculus
نویسندگان
چکیده
•Describing actions and their effects in a dynamic system •A set of first-order axioms, mainly includes: Dap (precondition axioms): For each A(~x), Poss(A(~x), s) ≡ φA(~x, s) Dssa (successor state axioms): For each fluent F (~y, s), F (~y, do(a, s)) ≡ ∨ iψ + i (~y, a, s) ∨ F (~y, s) ∧ ¬( ∨ j ψ − j (~y, a, s)) DS0 (an initial theory): All facts hold in the initial situation S0 Duna (unique name axioms for action names) and Σ (foundational axioms) An example of kitchen activity domain
منابع مشابه
Advanced Reasoning about Dynamical Systems
My research focuses on advanced reasoning about dynamical systems. We propose a modified fragment of the situation calculus that can assure decidable reasoning and has potential applications to Semantic Web services. Recently, we also develop a framework to handle large taxonomies of actions compactly, which allow us to gain computational advantages. Now, we consider another improvement to the ...
متن کاملReasoning about Large Taxonomies of Actions
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to more compact and modular basic action theories (BATs) for reasoning about actions than currently possible. We compare our representation with Reiter’s BATs and prove that our representation inherits all useful propert...
متن کاملHypothetical Reasoning about Actions : Fromsituation Calculus to Event
Hypothetical reasoning about actions is the activity of pre-evaluating the eeect of performing actions in a changing domain; this reasoning underlies applications of Knowledge Representation such as planning and explanation generation. Action eeects are often speciied in the language of Situation Calculus, introduced by McCarthy and Hayes in 1969. More recently, the Event Calculus has been deen...
متن کاملReasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus
Situation Calculus is arguably the most widely studied and used formalism for reasoning about action and change. The main reason for its popularity is the ability to reason about dif ferent action sequences as explicit objects. In particular, planning can be formulated as an existence problem. This paper shows how these properties break down when incomplete infor mation about the initial stat...
متن کاملDecidable Reasoning in a Fragment of the Epistemic Situation Calculus
The situation calculus is a popular formalism for reasoning about actions and change. Since the language is first-order, reasoning in the situation calculus is undecidable in general. An important question then is how to weaken reasoning in a principled way to guarantee decidability. Existing approaches either drastically limit the representation of the action theory or neglect important aspect...
متن کامل